es{-}state{-}after{-}without(${\it es}$;$e$;$x$)($y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $y$ = $x$$\rightarrow$ $\cdot$ else es{-}after(${\it es}$; $y$; $e$) fi